Unsolvability of the Halting Problem in Quantum Dynamics
نویسندگان
چکیده
منابع مشابه
The halting problem for universal quantum computers
The halting of universal quantum computers is shown to be incompatible with the constraint of unitarity of the dynamics. The prospects of using quantum dynamics to process information have opened up new research horizon. While most of the activities is in the theoretical study and experimental realisation of quantum networks [1], the principles –and the halting problem, in particular– of a univ...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولthe study of bright and surface discrete cavity solitons dynamics in saturable nonlinear media
امروزه سالیتون ها بعنوان امواج جایگزیده ای که تحت شرایط خاص بدون تغییر شکل در محیط منتشر می-شوند، زمینه مطالعات گسترده ای در حوزه اپتیک غیرخطی هستند. در این راستا توجه به پدیده پراش گسسته، که بعنوان عامل پهن شدگی باریکه نوری در آرایه ای از موجبرهای جفت شده، ظاهر می گردد، ضروری است، زیرا سالیتون های گسسته از خنثی شدن پراش گسسته در این سیستم ها بوسیله عوامل غیرخطی بوجود می آیند. گسستگی سیستم عامل...
Quantum Iterative Deepening with an Application to the Halting Problem
Classical models of computation traditionally resort to halting schemes in order to enquire about the state of a computation. In such schemes, a computational process is responsible for signaling an end of a calculation by setting a halt bit, which needs to be systematically checked by an observer. The capacity of quantum computational models to operate on a superposition of states requires an ...
متن کاملApproximations to the Halting Problem
The halting set Kr = (x I r converges}, for any G6del numbering ~ = {~0, ~1 ,-..}, is nonrecursive. It may be possible, however, to approximate Kr by recursive s e t s . We note several results indicating that the degrees of recursive approximability of halting sets in arbitrary GSdel numberings have wide variation, while restriction to "optimal GSdel numberings" only narrows the possibilities ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Theoretical Physics
سال: 2007
ISSN: 0020-7748,1572-9575
DOI: 10.1007/s10773-007-9621-x